Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
81	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
82	. CS711008Z Algorithm Design and Analysis . Lecture 8. Algorithm design technique: Linear programming Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2015-12-15 05:30:55 Network flow Mathematics Minimum-cost flow problem Maximum flow problem Logic form Operations research Numerical analysis
83	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
84	university of copenhagen department of computer science Faculty of Science Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-14 07:20:59 Software engineering Computing Theoretical computer science Logic in computer science Compiler construction Programming language implementation Semantics Compiler Eval Denotational semantics Correctness Functional programming
85	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
86	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
87	Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 = Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:51:51 Theoretical computer science Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Lambda calculus Term Relationships among probability distributions Centripetal CatmullRom spline
88	XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda Add to Reading List Source URL: gnome.inrialpes.fr Language: English - Date: 2014-10-07 08:54:38 Software engineering Logic Type theory Computer programming Data types Functional languages Recursive data type Monad Type inference FO XQuery Inference
89	Chart parsing with non-atomic categories Chart parsing Subsumption Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-12 15:18:27 Parsing algorithms Programming language implementation Earley parser Syntax Parsing Chart parser Logic Admissible rule
90	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language

UPDATE